%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for reut at 2014-06-01 11:58:15 +0300 


%% Saved with string encoding Unicode (UTF-8) 



@inproceedings{tsarfaty12,
	Added-At = {2012-05-24T00:00:00.000+0200},
	Author = {Tsarfaty, Reut and Nivre, Joakim and Andersson, Evelina},
	Biburl = {http://www.bibsonomy.org/bibtex/2e1f21dc960dd8adc36b8c86f016d764e/dblp},
	Booktitle = {EACL},
	Crossref = {conf/eacl/2012},
	Date-Added = {2014-06-01 08:58:10 +0000},
	Date-Modified = {2014-06-01 08:58:15 +0000},
	Editor = {Daelemans, Walter and Lapata, Mirella and M{\`a}rquez, Llu{\'\i}s},
	Ee = {http://aclweb.org/anthology-new/E/E12/E12-1006.pdf},
	Interhash = {ba7d566c2c4db2f0932635a52fe776ac},
	Intrahash = {e1f21dc960dd8adc36b8c86f016d764e},
	Isbn = {978-1-937284-19-0},
	Keywords = {dblp},
	Pages = {44-54},
	Publisher = {The Association for Computer Linguistics},
	Timestamp = {2012-05-24T00:00:00.000+0200},
	Title = {Cross-Framework Evaluation for Statistical Parsing.},
	Url = {http://dblp.uni-trier.de/db/conf/eacl/eacl2012.html#TsarfatyNA12},
	Year = 2012,
	Bdsk-Url-1 = {http://dblp.uni-trier.de/db/conf/eacl/eacl2012.html#TsarfatyNA12}}

@article{arnold91,
	Author = {Arnold, Barry C. and Strauss, David},
	Citeulike-Article-Id = {10090341},
	Citeulike-Linkout-0 = {http://dx.doi.org/10.2307/25052695},
	Citeulike-Linkout-1 = {http://www.jstor.org/stable/25052695},
	Date-Added = {2014-06-01 08:52:43 +0000},
	Date-Modified = {2014-06-01 08:52:43 +0000},
	Doi = {10.2307/25052695},
	Issn = {05815738},
	Journal = {Sankhy{\=a}: The Indian Journal of Statistics, Series B (1960-2002)},
	Keywords = {pseudo\_likelihood},
	Number = {2},
	Posted-At = {2011-12-03 04:25:45},
	Priority = {2},
	Publisher = {Springer on behalf of the Indian Statistical Institute},
	Title = {{Pseudolikelihood Estimation: Some Examples}},
	Url = {http://dx.doi.org/10.2307/25052695},
	Volume = {53},
	Year = {1991},
	Bdsk-Url-1 = {http://dx.doi.org/10.2307/25052695}}

@article{arnold,
	Author = { Barry C. Arnold and David Strauss},
	Date-Added = {2014-06-01 08:51:08 +0000},
	Date-Modified = {2014-06-01 08:51:43 +0000},
	Title = {Pseudolikelihood Estimation: Some Examples}}

@incollection{grice,
	Address = {San Diego, CA},
	Author = {H. P. Grice},
	Booktitle = {Syntax and Semantics: Vol. 3: Speech Acts},
	Date-Added = {2014-06-01 08:47:30 +0000},
	Date-Modified = {2014-06-01 08:47:33 +0000},
	Editor = {P. Cole and J. L. Morgan},
	Pages = {41-58},
	Publisher = {Academic Press},
	Title = {Logic and Conversation},
	Year = 1975}

@inproceedings{charniak96,
	Author = {Eugene Charniak and Eugene Charniak},
	Booktitle = {In Proceedings of the Thirteenth National Conference on Artificial Intelligence},
	Date-Added = {2014-06-01 08:42:16 +0000},
	Date-Modified = {2014-06-01 08:42:28 +0000},
	Pages = {1031--1036},
	Title = {Tree-bank Grammars},
	Year = {1996}}

@article{brown93,
	Acmid = {972474},
	Address = {Cambridge, MA, USA},
	Author = {Brown, Peter F. and Pietra, Vincent J. Della and Pietra, Stephen A. Della and Mercer, Robert L.},
	Date-Added = {2014-06-01 08:40:53 +0000},
	Date-Modified = {2014-06-01 08:40:59 +0000},
	Issn = {0891-2017},
	Issue_Date = {June 1993},
	Journal = {Comput. Linguist.},
	Month = jun,
	Number = {2},
	Numpages = {49},
	Pages = {263--311},
	Publisher = {MIT Press},
	Title = {The Mathematics of Statistical Machine Translation: Parameter Estimation},
	Url = {http://dl.acm.org/citation.cfm?id=972470.972474},
	Volume = {19},
	Year = {1993},
	Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=972470.972474}}

@article{bah83,
	Added-At = {2011-06-08T00:00:00.000+0200},
	Author = {Bahl, Lalit R. and Jelinek, Frederick and Mercer, Robert L.},
	Biburl = {http://www.bibsonomy.org/bibtex/277d5f913375f45c1b3b63d80cd227d70/dblp},
	Date-Added = {2014-06-01 08:38:21 +0000},
	Date-Modified = {2014-06-01 08:38:27 +0000},
	Ee = {http://dx.doi.org/10.1109/TPAMI.1983.4767370},
	Interhash = {95aa71d62fd55ca094fa950bf406fad7},
	Intrahash = {77d5f913375f45c1b3b63d80cd227d70},
	Journal = {IEEE Trans. Pattern Anal. Mach. Intell.},
	Keywords = {dblp},
	Number = 2,
	Pages = {179-190},
	Timestamp = {2011-06-08T00:00:00.000+0200},
	Title = {A Maximum Likelihood Approach to Continuous Speech Recognition.},
	Url = {http://dblp.uni-trier.de/db/journals/pami/pami5.html#BahlJM83},
	Volume = 5,
	Year = 1983,
	Bdsk-Url-1 = {http://dblp.uni-trier.de/db/journals/pami/pami5.html#BahlJM83}}

@article{shannon48,
	Added-At = {2013-12-17T10:51:05.000+0100},
	Author = {Shannon, Claude},
	Biburl = {http://www.bibsonomy.org/bibtex/244eefdcbe008f7f0406568a9bc9f896e/jullybobble},
	Date-Added = {2014-06-01 08:36:09 +0000},
	Date-Modified = {2014-06-01 08:36:09 +0000},
	Interhash = {754130207906fcec16a53d330eeff348},
	Intrahash = {44eefdcbe008f7f0406568a9bc9f896e},
	Journal = {Bell System Technical Journal},
	Key = {Shannon},
	Keywords = {intro phd},
	Month = {July, October},
	Pages = {379--423, 623--656},
	Timestamp = {2013-12-17T10:51:05.000+0100},
	Title = {A Mathematical Theory of Communication},
	Url = {http://cm.bell-labs.com/cm/ms/what/shannonday/shannon1948.pdf},
	Volume = 27,
	Year = 1948,
	Bdsk-Url-1 = {http://cm.bell-labs.com/cm/ms/what/shannonday/shannon1948.pdf}}

@inproceedings{harel07s2a,
	Author = {David Harel and Asaf Kleinbort and Shahar Maoz},
	Booktitle = {In Proc. Fundamental Approaches to Software Engineering (FASE'07), volume 4422 of LNCS},
	Date-Added = {2014-06-01 08:29:45 +0000},
	Date-Modified = {2014-06-01 08:29:53 +0000},
	Pages = {121--124},
	Publisher = {Springer},
	Title = {S2A: A compiler for multi-modal UML sequence diagrams},
	Year = {2007}}

@inproceedings{harel06,
	Acmid = {1138958},
	Address = {New York, NY, USA},
	Author = {Harel, David and Maoz, Shahar},
	Booktitle = {Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools},
	Date-Added = {2014-06-01 08:22:25 +0000},
	Date-Modified = {2014-06-01 08:22:31 +0000},
	Doi = {10.1145/1138953.1138958},
	Isbn = {1-59593-394-8},
	Keywords = {UML, inter-object approach, live sequence charts, scenarios, semantics, sequence diagrams, specification, visual formalisms},
	Location = {Shanghai, China},
	Numpages = {8},
	Pages = {13--20},
	Publisher = {ACM},
	Series = {SCESM '06},
	Title = {Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams},
	Url = {http://doi.acm.org/10.1145/1138953.1138958},
	Year = {2006},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/1138953.1138958},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/1138953.1138958}}

@inproceedings{lei13,
	Author = {Tao Lei and Fan Long and Regina Barzilay and Martin C. Rinard},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {ACL (1)},
	Crossref = {DBLP:conf/acl/2013-1},
	Date-Added = {2014-05-31 12:43:12 +0000},
	Date-Modified = {2014-05-31 12:43:17 +0000},
	Ee = {http://aclweb.org/anthology/P/P13/P13-1127.pdf},
	Pages = {1294-1303},
	Title = {From Natural Language Specifications to Program Input Parsers},
	Year = {2013}}

@book{Parsons90,
	Added-At = {2007-12-14T02:44:47.000+0100},
	Address = {Cambridge, MA},
	Author = {Parsons, Terence},
	Biburl = {http://www.bibsonomy.org/bibtex/27fb8cb158ab13aceb04dcb9181eadb73/diego_ma},
	Date-Added = {2014-05-26 11:22:27 +0000},
	Date-Modified = {2014-05-26 11:22:35 +0000},
	Interhash = {10a781498528e8cda70a5d80b8170d98},
	Intrahash = {7fb8cb158ab13aceb04dcb9181eadb73},
	Keywords = {events semantics},
	Publisher = {MIT Press},
	Timestamp = {2007-12-14T02:44:47.000+0100},
	Title = {Events in the Semantics of {English}: A study in subatomic semantics},
	Year = 1990}

@misc{UML,
	Date-Added = {2014-05-22 11:04:19 +0000},
	Date-Modified = {2014-05-22 11:06:21 +0000},
	Howpublished = {Available from the Object Management Group www.omg.org},
	Title = {Documentation of the Unified Modeling Language}}

@inproceedings{harelkatz13,
	Author = {Harel, D. and Kantor, A. and Katz, G. and Marron, A. and Mizrahi, L. and Weiss, G.},
	Booktitle = {Embedded Software (EMSOFT), 2013 Proceedings of the International Conference on},
	Date-Added = {2014-05-22 11:02:10 +0000},
	Date-Modified = {2014-05-22 11:02:21 +0000},
	Doi = {10.1109/EMSOFT.2013.6658591},
	Keywords = {formal specification;object-oriented programming;program verification;system documentation;BP semantics;Z3 SMT solver;application-independent specification;behavioral programming;composite application;correctness proving;development process;documentation process;exponential the verification process acceleration;formal correctness proof;model checking;module properties;program verification automation;program verification streamlining;reactive behavior composition;Acceleration;Documentation;Educational institutions;Programming;Semantics;Synchronization;Three-dimensional displays},
	Month = {Sept},
	Pages = {1-10},
	Title = {On composing and proving the correctness of reactive behavior},
	Year = {2013},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/EMSOFT.2013.6658591}}

@inproceedings{gordon10nav,
	Author = {Gordon, M. and Harel, D.},
	Booktitle = {Visual Languages and Human-Centric Computing (VL/HCC), 2010 IEEE Symposium on},
	Date-Added = {2014-05-22 11:00:00 +0000},
	Date-Modified = {2014-05-22 11:00:09 +0000},
	Doi = {10.1109/VLHCC.2010.38},
	Issn = {1943-6092},
	Keywords = {formal specification;navigation;programming languages;live sequence charts;scenario-based programming;semantic navigation strategies;sequence diagrams;specification;tool support;Context;Navigation;Programming;Scalability;Semantics;Unified modeling language;Visualization;Live Sequence Charts;Program Comprehension;Program Navigation;Semantic Zoom;Sequence Diagrams},
	Month = {Sept},
	Pages = {219-226},
	Title = {Semantic Navigation Strategies for Scenario-Based Programming},
	Year = {2010},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/VLHCC.2010.38}}

@article{harel01scenario,
	Acmid = {621631},
	Address = {Los Alamitos, CA, USA},
	Author = {Harel, David},
	Date-Added = {2014-05-22 10:48:14 +0000},
	Date-Modified = {2014-05-22 10:48:23 +0000},
	Doi = {10.1109/2.895118},
	Issn = {0018-9162},
	Issue_Date = {January 2001},
	Journal = {Computer},
	Month = jan,
	Number = {1},
	Numpages = {8},
	Pages = {53--60},
	Publisher = {IEEE Computer Society Press},
	Title = {From Play-In Scenarios to Code: An Achievable Dream},
	Url = {http://dx.doi.org/10.1109/2.895118},
	Volume = {34},
	Year = {2001},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/2.895118}}

@article{kuhn14cnl,
	Author = {Tobias Kuhn},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Date-Added = {2014-05-22 09:30:22 +0000},
	Date-Modified = {2014-05-22 09:30:35 +0000},
	Ee = {http://dx.doi.org/10.1162/COLI_a_00168},
	Journal = {Computational Linguistics},
	Number = {1},
	Pages = {121-170},
	Title = {A Survey and Classification of Controlled Natural Languages},
	Volume = {40},
	Year = {2014}}

@article{harel08,
	Author = {Harel, D.},
	Date-Added = {2014-05-22 09:24:11 +0000},
	Date-Modified = {2014-05-22 09:24:18 +0000},
	Doi = {10.1109/MC.2008.10},
	Issn = {0018-9162},
	Journal = {Computer},
	Keywords = {high level languages;programming;computational tools;high-level languages;machine-level instructions;programming;Algebra;Application software;Assembly;Computer aided instruction;Computer languages;Functional programming;History;Logic programming;Object oriented programming;Writing;scenario-based programming;software programming},
	Month = {Jan},
	Number = {1},
	Pages = {28-37},
	Title = {Can Programming Be Liberated, Period?},
	Volume = {41},
	Year = {2008},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/MC.2008.10}}

@inproceedings{liang11dcs,
	Author = {P. Liang and M. I. Jordan and D. Klein},
	Booktitle = {Association for Computational Linguistics (ACL)},
	Date-Added = {2014-05-22 09:01:34 +0000},
	Date-Modified = {2014-05-22 09:01:34 +0000},
	Pages = {590--599},
	Title = {Learning Dependency-Based Compositional Semantics},
	Year = {2011}}

@inproceedings{beltagy13,
	Address = {Atlanta, Georgia, USA},
	Author = {Beltagy, Islam and Chau, Cuong and Boleda, Gemma and Garrette, Dan and Erk, Katrin and Mooney, Raymond},
	Booktitle = {Second Joint Conference on Lexical and Computational Semantics (*SEM), Volume 1: Proceedings of the Main Conference and the Shared Task: Semantic Textual Similarity},
	Date-Added = {2014-05-22 08:58:12 +0000},
	Date-Modified = {2014-05-22 08:58:19 +0000},
	Month = {June},
	Pages = {11--21},
	Publisher = {Association for Computational Linguistics},
	Title = {Montague Meets Markov: Deep Semantics with Probabilistic Logical Form},
	Url = {http://www.aclweb.org/anthology/S13-1002},
	Year = {2013},
	Bdsk-Url-1 = {http://www.aclweb.org/anthology/S13-1002}}

@incollection{dijkstra79,
	Author = {Dijkstra, EdsgerW.},
	Booktitle = {Program Construction},
	Date-Added = {2014-05-22 08:56:07 +0000},
	Date-Modified = {2014-05-22 08:56:26 +0000},
	Doi = {10.1007/BFb0014656},
	Editor = {Bauer, FriedrichL. and Broy, Manfred and Dijkstra, E.W. and Gerhart, S.L. and Gries, D. and Griffiths, M. and Guttag, J.V. and Horning, J.J. and Owicki, S.S. and Pair, C. and Partsch, H. and Pepper, P. and Wirsing, M. and W{\~A}¶ssner, H.},
	Isbn = {978-3-540-09251-3},
	Pages = {51-53},
	Publisher = {Springer Berlin Heidelberg},
	Series = {Lecture Notes in Computer Science},
	Title = {On the foolishness of "natural language programming"},
	Url = {http://dx.doi.org/10.1007/BFb0014656},
	Volume = {69},
	Year = {1979},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/BFb0014656}}

@inproceedings{Branavan10,
	Acmid = {1858810},
	Address = {Stroudsburg, PA, USA},
	Author = {Branavan, S. R. K. and Zettlemoyer, Luke S. and Barzilay, Regina},
	Booktitle = {Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics},
	Date-Added = {2014-05-22 08:53:12 +0000},
	Date-Modified = {2014-05-22 08:53:21 +0000},
	Location = {Uppsala, Sweden},
	Numpages = {10},
	Pages = {1268--1277},
	Publisher = {Association for Computational Linguistics},
	Series = {ACL '10},
	Title = {Reading Between the Lines: Learning to Map High-level Instructions to Commands},
	Url = {http://dl.acm.org/citation.cfm?id=1858681.1858810},
	Year = {2010},
	Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=1858681.1858810}}

@inproceedings{liang11minimal,
	Author = {P. Liang and O. Tripp and M. Naik},
	Booktitle = {Principles of Programming Languages (POPL)},
	Date-Added = {2014-05-22 08:51:04 +0000},
	Date-Modified = {2014-05-22 08:51:04 +0000},
	Title = {Learning Minimal Abstractions},
	Year = {2011}}

@article{liang2014semantics,
	Author = {P. Liang and C. Potts},
	Date-Added = {2014-05-22 08:50:31 +0000},
	Date-Modified = {2014-05-22 08:50:31 +0000},
	Journal = {Annual Reviews of Linguistics (submitted)},
	Title = {Bringing machine learning and compositional semantics together},
	Volume = {0},
	Year = {2014}}

@inproceedings{berant13,
	Added-At = {2013-11-10T00:00:00.000+0100},
	Author = {Berant, Jonathan and Chou, Andrew and Frostig, Roy and Liang, Percy},
	Biburl = {http://www.bibsonomy.org/bibtex/2b7403aae1579048cfe77e88fb67a4704/dblp},
	Booktitle = {EMNLP},
	Crossref = {conf/emnlp/2013},
	Date-Added = {2014-05-22 08:49:21 +0000},
	Date-Modified = {2014-05-22 08:49:28 +0000},
	Ee = {http://aclweb.org/anthology//D/D13/D13-1160.pdf},
	Interhash = {6f5f5cf4aab75502a5e67454eb6679b4},
	Intrahash = {b7403aae1579048cfe77e88fb67a4704},
	Isbn = {978-1-937284-97-8},
	Keywords = {dblp},
	Pages = {1533-1544},
	Publisher = {ACL},
	Timestamp = {2013-11-10T00:00:00.000+0100},
	Title = {Semantic Parsing on Freebase from Question-Answer Pairs.},
	Url = {http://dblp.uni-trier.de/db/conf/emnlp/emnlp2013.html#BerantCFL13},
	Year = 2013,
	Bdsk-Url-1 = {http://dblp.uni-trier.de/db/conf/emnlp/emnlp2013.html#BerantCFL13}}

@article{artzi13,
	Added-At = {2014-01-28T00:00:00.000+0100},
	Author = {Artzi, Yoav and Zettlemoyer, Luke},
	Biburl = {http://www.bibsonomy.org/bibtex/278af936939339fc756990c366109ceb0/dblp},
	Date-Added = {2014-05-22 08:48:06 +0000},
	Date-Modified = {2014-05-22 08:48:18 +0000},
	Ee = {http://www.transacl.org/wp-content/uploads/2013/03/paper49.pdf},
	Interhash = {342ba551c5066e7647afe28b8079dbc8},
	Intrahash = {78af936939339fc756990c366109ceb0},
	Journal = {TACL},
	Keywords = {dblp},
	Pages = {49-62},
	Timestamp = {2014-01-28T00:00:00.000+0100},
	Title = {Weakly Supervised Learning of Semantic Parsers for Mapping Instructions to Actions.},
	Url = {http://dblp.uni-trier.de/db/journals/tacl/tacl1.html#ArtziZ13},
	Volume = 1,
	Year = 2013,
	Bdsk-Url-1 = {http://dblp.uni-trier.de/db/journals/tacl/tacl1.html#ArtziZ13}}

@inproceedings{zettlemoyer05,
	Added-At = {2007-07-26T00:00:00.000+0200},
	Author = {Zettlemoyer, Luke S. and Collins, Michael},
	Biburl = {http://www.bibsonomy.org/bibtex/2f1aaa04bb7988218f63bc85a1ccae90e/dblp},
	Booktitle = {UAI},
	Crossref = {conf/uai/2005},
	Date-Added = {2014-05-22 08:47:17 +0000},
	Date-Modified = {2014-05-22 08:47:29 +0000},
	Ee = {http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1209&proceeding_id=21},
	Interhash = {9ed5ea0b4ed3e4d85adebb19695ba698},
	Intrahash = {f1aaa04bb7988218f63bc85a1ccae90e},
	Isbn = {0-9749039-1-4},
	Keywords = {dblp},
	Pages = {658-666},
	Publisher = {AUAI Press},
	Timestamp = {2007-07-26T00:00:00.000+0200},
	Title = {Learning to Map Sentences to Logical Form: Structured Classification with Probabilistic Categorial Grammars.},
	Url = {http://dblp.uni-trier.de/db/conf/uai/uai2005.html#ZettlemoyerC05},
	Year = 2005,
	Bdsk-Url-1 = {http://dblp.uni-trier.de/db/conf/uai/uai2005.html#ZettlemoyerC05}}

@article{zettlemoyer12,
	Author = {Luke S. Zettlemoyer and Michael Collins},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Date-Added = {2014-05-22 08:46:34 +0000},
	Date-Modified = {2014-05-22 08:46:52 +0000},
	Ee = {http://arxiv.org/abs/1207.1420},
	Journal = {CoRR},
	Title = {Learning to Map Sentences to Logical Form: Structured Classification with Probabilistic Categorial Grammars},
	Volume = {abs/1207.1420},
	Year = {2012}}

@inproceedings{fuchs95,
	Added-At = {2013-12-02T00:00:00.000+0100},
	Author = {Fuchs, Norbert E. and Schwitter, Rolf},
	Biburl = {http://www.bibsonomy.org/bibtex/2fa7867a135d77646c1d75e3ff9cdb1b0/dblp},
	Booktitle = {LPE},
	Crossref = {conf/lpe/1995},
	Date-Added = {2014-05-22 08:28:29 +0000},
	Date-Modified = {2014-05-22 08:28:39 +0000},
	Editor = {Fromherz, Markus P. J. and Kirschenbaum, Marc and Kusalik, Anthony J.},
	Interhash = {5d07f059870f2e7c4e27c83412b231f2},
	Intrahash = {fa7867a135d77646c1d75e3ff9cdb1b0},
	Keywords = {dblp},
	Timestamp = {2013-12-02T00:00:00.000+0100},
	Title = {Attempto: Controlled Natural Language for Requirements Specifications.},
	Url = {http://dblp.uni-trier.de/db/conf/lpe/lpe95.html#FuchsS95},
	Year = 1995,
	Bdsk-Url-1 = {http://dblp.uni-trier.de/db/conf/lpe/lpe95.html#FuchsS95}}

@inproceedings{bryant02,
	Acmid = {821314},
	Address = {Washington, DC, USA},
	Author = {Bryant, B. and Lee, B.-S.},
	Booktitle = {Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9},
	Date-Added = {2014-05-22 08:26:47 +0000},
	Date-Modified = {2014-05-22 08:26:56 +0000},
	Isbn = {0-7695-1435-9},
	Keywords = {Formal Specification, Object-Oriented Software Construction, Two-Level Grammar, Vienna Development Method},
	Pages = {280--},
	Publisher = {IEEE Computer Society},
	Series = {HICSS '02},
	Title = {Two-Level Grammar As an Object-Oriented Requirements Specification Language},
	Url = {http://dl.acm.org/citation.cfm?id=820747.821314},
	Year = {2002},
	Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=820747.821314}}

@inproceedings{Segundo07,
	Acmid = {1299588},
	Address = {Washington, DC, USA},
	Author = {Segundo, Laura Mendez and Herrera, Rodolfo Romero and Herrera, K. Yeni Perez},
	Booktitle = {Proceedings of the Electronics, Robotics and Automotive Mechanics Conference},
	Date-Added = {2014-05-22 08:25:13 +0000},
	Date-Modified = {2014-05-22 08:25:23 +0000},
	Doi = {10.1109/CERMA.2007.137},
	Isbn = {0-7695-2974-7},
	Numpages = {4},
	Pages = {360--363},
	Publisher = {IEEE Computer Society},
	Series = {CERMA '07},
	Title = {UML Sequence Diagram Generator System from Use Case Description Using Natural Language},
	Url = {http://dx.doi.org/10.1109/CERMA.2007.137},
	Year = {2007},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/CERMA.2007.137}}

@article{mich96,
	Acmid = {974666},
	Address = {New York, NY, USA},
	Author = {Mich, L.},
	Date-Added = {2014-05-22 08:23:41 +0000},
	Date-Modified = {2014-05-22 08:23:47 +0000},
	Doi = {10.1017/S1351324996001337},
	Issn = {1351-3249},
	Issue_Date = {June 1996},
	Journal = {Nat. Lang. Eng.},
	Month = jun,
	Number = {2},
	Numpages = {27},
	Pages = {161--187},
	Publisher = {Cambridge University Press},
	Title = {NL-OOPS: From Natural Language to Object Oriented Requirements Using the Natural Language Processing System LOLITA},
	Url = {http://dx.doi.org/10.1017/S1351324996001337},
	Volume = {2},
	Year = {1996},
	Bdsk-Url-1 = {http://dx.doi.org/10.1017/S1351324996001337}}

@inproceedings{harel02playout,
	Acmid = {683385},
	Address = {London, UK, UK},
	Author = {Harel, David and Kugler, Hillel and Marelly, Rami and Pnueli, Amir},
	Booktitle = {Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design},
	Date-Added = {2014-05-22 08:22:53 +0000},
	Date-Modified = {2014-05-22 08:23:03 +0000},
	Isbn = {3-540-00116-6},
	Numpages = {21},
	Pages = {378--398},
	Publisher = {Springer-Verlag},
	Series = {FMCAD '02},
	Title = {Smart Play-out of Behavioral Requirements},
	Url = {http://dl.acm.org/citation.cfm?id=646187.683385},
	Year = {2002},
	Bdsk-Url-1 = {http://dl.acm.org/citation.cfm?id=646187.683385}}

@inproceedings{gordon09,
	Acmid = {1530255},
	Address = {Berlin, Heidelberg},
	Author = {Gordon, Michal and Harel, David},
	Booktitle = {Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing},
	Date-Added = {2014-05-22 08:20:05 +0000},
	Date-Modified = {2014-05-22 08:20:12 +0000},
	Doi = {10.1007/978-3-642-00382-0_37},
	Isbn = {978-3-642-00381-3},
	Location = {Mexico City, Mexico},
	Numpages = {12},
	Pages = {456--467},
	Publisher = {Springer-Verlag},
	Series = {CICLing '09},
	Title = {Generating Executable Scenarios from Natural Language},
	Url = {http://dx.doi.org/10.1007/978-3-642-00382-0_37},
	Year = {2009},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-642-00382-0_37}}

@article{harel09teaching,
	Acmid = {1550543},
	Address = {Los Alamitos, CA, USA},
	Author = {Harel, David and Gordon-Kiwkowitz, Michal},
	Date-Added = {2014-05-22 08:19:23 +0000},
	Date-Modified = {2014-05-22 08:19:34 +0000},
	Doi = {10.1109/MS.2009.76},
	Issn = {0740-7459},
	Issue_Date = {May 2009},
	Journal = {IEEE Softw.},
	Keywords = {live sequence charts, reactive systems, statecharts, visual formalisms, visual formalisms, statecharts, reactive systems, live sequence charts},
	Month = may,
	Number = {3},
	Numpages = {9},
	Pages = {87--95},
	Publisher = {IEEE Computer Society Press},
	Title = {On Teaching Visual Formalisms},
	Url = {http://dx.doi.org/10.1109/MS.2009.76},
	Volume = {26},
	Year = {2009},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/MS.2009.76}}

@inproceedings{harel10pg,
	Acmid = {1859075},
	Address = {New York, NY, USA},
	Author = {Harel, David and Maoz, Shahar and Szekely, Smadar and Barkan, Daniel},
	Booktitle = {Proceedings of the IEEE/ACM International Conference on Automated Software Engineering},
	Date-Added = {2014-05-22 08:18:27 +0000},
	Date-Modified = {2014-05-22 08:18:34 +0000},
	Doi = {10.1145/1858996.1859075},
	Isbn = {978-1-4503-0116-9},
	Keywords = {ide, live sequence charts, reactive systems, scenario-based},
	Location = {Antwerp, Belgium},
	Numpages = {2},
	Pages = {359--360},
	Publisher = {ACM},
	Series = {ASE '10},
	Title = {PlayGo: Towards a Comprehensive Tool for Scenario Based Programming},
	Url = {http://doi.acm.org/10.1145/1858996.1859075},
	Year = {2010},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/1858996.1859075},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/1858996.1859075}}

@inproceedings{eitan11,
	Acmid = {2057224},
	Address = {Washington, DC, USA},
	Author = {Eitan, Nir and Gordon, Michal and Harel, David and Marron, Assaf and Weiss, Gera},
	Booktitle = {Proceedings of the 2011 IEEE 19th International Conference on Program Comprehension},
	Date-Added = {2014-05-22 08:17:25 +0000},
	Date-Modified = {2014-05-22 08:17:30 +0000},
	Doi = {10.1109/ICPC.2011.10},
	Isbn = {978-0-7695-4398-7},
	Keywords = {visualization, behavioral programming, scenario-based programming, BPJ},
	Numpages = {4},
	Pages = {189--192},
	Publisher = {IEEE Computer Society},
	Series = {ICPC '11},
	Title = {On Visualization and Comprehension of Scenario-Based Programs},
	Url = {http://dx.doi.org/10.1109/ICPC.2011.10},
	Year = {2011},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/ICPC.2011.10}}

@article{harel12synthesis,
	Acmid = {2160506},
	Address = {Orlando, FL, USA},
	Author = {Harel, David and Segall, Itai},
	Date-Added = {2014-05-22 08:16:04 +0000},
	Date-Modified = {2014-05-22 08:16:11 +0000},
	Doi = {10.1016/j.jcss.2011.08.008},
	Issn = {0022-0000},
	Issue_Date = {May, 2012},
	Journal = {J. Comput. Syst. Sci.},
	Keywords = {LSC, Live sequence charts, Scenario-based programming, Specification, Synthesis},
	Month = may,
	Number = {3},
	Numpages = {11},
	Pages = {970--980},
	Publisher = {Academic Press, Inc.},
	Title = {Synthesis from Scenario-based Specifications},
	Url = {http://dx.doi.org/10.1016/j.jcss.2011.08.008},
	Volume = {78},
	Year = {2012},
	Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.jcss.2011.08.008}}

@article{harel12bp,
	Acmid = {2209270},
	Address = {New York, NY, USA},
	Author = {Harel, David and Marron, Assaf and Weiss, Gera},
	Date-Added = {2014-05-22 08:14:53 +0000},
	Date-Modified = {2014-05-22 08:15:13 +0000},
	Doi = {10.1145/2209249.2209270},
	Issn = {0001-0782},
	Issue_Date = {July 2012},
	Journal = {Commun. ACM},
	Month = jul,
	Number = {7},
	Numpages = {11},
	Pages = {90--100},
	Publisher = {ACM},
	Title = {Behavioral Programming},
	Url = {http://doi.acm.org/10.1145/2209249.2209270},
	Volume = {55},
	Year = {2012},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/2209249.2209270},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/2209249.2209270}}

@inproceedings{harel12obp,
	Acmid = {2529022},
	Address = {Berlin, Heidelberg},
	Author = {Harel, David},
	Booktitle = {Proceedings of the 8th International Conference on Hardware and Software: Verification and Testing},
	Date-Added = {2014-05-22 08:13:57 +0000},
	Date-Modified = {2014-05-22 08:15:17 +0000},
	Doi = {10.1007/978-3-642-39611-3_1},
	Isbn = {978-3-642-39610-6},
	Location = {Haifa, Israel},
	Numpages = {1},
	Pages = {1--1},
	Publisher = {Springer-Verlag},
	Series = {HVC'12},
	Title = {On Behavioral Programming},
	Url = {http://dx.doi.org/10.1007/978-3-642-39611-3_1},
	Year = {2013},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-642-39611-3_1}}

@book{harel03lscs,
	Address = {Secaucus, NJ, USA},
	Author = {Harel, David and Marelly, Rami},
	Date-Added = {2014-05-22 08:09:58 +0000},
	Date-Modified = {2014-05-22 08:10:11 +0000},
	Isbn = {3540007873},
	Publisher = {Springer-Verlag New York, Inc.},
	Title = {Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine},
	Year = {2003}}

@article{damm01lscs,
	Acmid = {510989},
	Address = {Hingham, MA, USA},
	Author = {Damm, Werner and Harel, David},
	Date-Added = {2014-05-22 08:02:16 +0000},
	Date-Modified = {2014-05-22 08:04:17 +0000},
	Doi = {10.1023/A:1011227529550},
	Issn = {0925-9856},
	Issue_Date = {July 2001},
	Journal = {Form. Methods Syst. Des.},
	Keywords = {UML, formal specification, sequence charts},
	Month = jul,
	Number = {1},
	Numpages = {36},
	Pages = {45--80},
	Publisher = {Kluwer Academic Publishers},
	Title = {LSCs: Breathing Life into Message Sequence Charts},
	Url = {http://dx.doi.org/10.1023/A:1011227529550},
	Volume = {19},
	Year = {2001},
	Bdsk-Url-1 = {http://dx.doi.org/10.1023/A:1011227529550}}

@inproceedings{Kugler05,
	Acmid = {2140692},
	Address = {Berlin, Heidelberg},
	Author = {Kugler, Hillel and Harel, David and Pnueli, Amir and Lu, Yuan and Bontemps, Yves},
	Booktitle = {Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
	Date-Added = {2014-05-22 07:59:26 +0000},
	Date-Modified = {2014-05-22 08:00:28 +0000},
	Doi = {10.1007/978-3-540-31980-1_29},
	Isbn = {3-540-25333-5, 978-3-540-25333-4},
	Location = {Edinburgh, UK},
	Numpages = {16},
	Pages = {445--460},
	Publisher = {Springer-Verlag},
	Series = {TACAS'05},
	Title = {Temporal Logic for Scenario-based Specifications},
	Url = {http://dx.doi.org/10.1007/978-3-540-31980-1_29},
	Year = {2005},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-540-31980-1_29}}
